Планирование объема испытаний при использовании байесовского метода
Байесовский метод оценивания в традиционной форме используется для анализа результатов испытаний и не приспособлен для решения задач планирования. Действительно, методика байесовского оценивания показателей эффективности системы основана, по существу, на использовании эмпирического байесовского подхода, при котором априорная плотность распределения P(R) определяется по предварительным экспериментальным данным. Такой подход применим лишь в случаях, когда оцениваемый показатель эффективности при переходе на следующий этап отработки не измеряется по какому-либо неслучайному закону. При выполнении этого условия для подтверждения заданной вероятности достаточно проведения необходимого объема предварительных испытаний, последующие испытания для уточнения полученной априорной оценки не требуются.
Таким образом, целью проведения последующих испытаний можно считать проверку гипотезы о стационарности параметра R, которая, как будет показано ниже, сводится к проверке гипотезы статистической однородности априорных и экспериментальных данных.
В том случае, если результаты последующих испытаний оказываются однородными с принятым априорным распределением, параметры которого выбраны из условия подтверждения по априорным данным заданного значения показателя эффективности с необходи-
Объединенные оценки показателей эффективности, полученные разными методами
|
OS
40
U)
|
||||||||||||||||
|
||||||||||||||||
Джс- ni=1 Ао =~S(^kcx _ Акс)(% ~ А’ ^оо=^1К/-Л)2. "(=1 пЫ 1 |
Замена истинных неизвестных /)10, D0о их оценками приводит к снижению точности объединенной оценки |
|||
Метод параметри ческих функций |
4б = ^0 + ^1 Дэкс ’ А Л *об = ^0 + ^экс ’ А А ^об "" ^1^ЖС’ Я-рХо — параметрические функции, определяемые на основе априорной информации из условия обеспечения желаемых свойств оценок |
При мультипликативной модели из условия среднего риска для биномиального распределения х. 1 , muo~m(r2) пм[яЧ |
И’об 6л ^ЭКС 3(1 + 2//) ^об _ 6(л + 2) «"б 3(1 + 2я) (ниже точности байесовских оценок) |
Автоматически учитывает возможную неоднородность объединяемых данных. Параметрические функции имеют сложную нелинейную зависимость от моментов априорного распределения, полученную лишь для простейших случаев |
мой доверительной вероятностью, требования к показателю эффективности можно считать подтвержденными.
В качестве статистики для проверки гипотезы однородности при подтверждении требований к вероятности выполнения задачи может быть использовано число успехов т при проведении испытаний. Теоретическим законом распределения этой величины является безусловное распределение Р{т), учитывающее как априорную, так и экспериментальную информацию. Слишком малые или слишком большие значения т говорят о том, что экспериментальные данные не согласуются с принятым априорным законом распределения эффективности. Однако использование такой статистики не позволяет планировать число испытаний.
Более удобной в этом отношении является статистика — число я испытаний до получения заданного числа отказов. Если число отказов d зафиксировано, а число испытаний является случайной величиной, то функцией правдоподобия является распределение Паскаля
где q = l-R — вероятность отказа.
Априорным распределением для вероятности отказа является 13-
распределение с параметрами Уо > ‘По :
Р(д) = В{у0,ц оУ10"1^-?)70"1-
Безусловное распределение числа испытаний до заданного числа отказов d представляет собой бета-паскалево распределение:
Значения нижней и верхней границ критической области определяются из условия:
Вер{я^лв} = Yi» Вер{я<лн} = 1-у2,
где у. + у — -1 = у ~ заданная доверительная вероятность.
Так как таблиц бета-паскалева распределения не существует, то для практических расчетов удобно использовать биномиальную аппроксимацию интегральной функции бета-паскалева распределения при условиях d « л, т|0 « у0 +т|0, л « у0 +т)0 — 1, </ + т|0 « max{Yo +Ло*я}:
Для верхней границы с учетом дискретности распределения имеем:
Вер{л £ л,,} = 1 — Вер{л й «3}+Вер(яв) = Yi,
гле Prnfrt/1- (^+11о~1)!(‘Уо+яв~</~1)!(яв~1)!(уО+11о~1)!
(</-і)!(л0-1)!(«в -^ЖУО -^("в +У0 +Ло -1)1
Минимальное число испытаний, необходимое для проверки статистической гипотезы о соответствии-экспериментальных данных априорному распределению, будет не менее ян. Для высокоэффективных изделий необходимое число испытаний удобно рассчитывать, исходя из числа испытаний до получения первого отказа.
При выборе d = 1 формула для односторонней нижней границы преобразуется к простому виду:
1-[1-ян/К+Уо +Л0 — I)]110 = 1~У>
откуда находим
Простой вид для нижней границы получается также при Ло = 1:
Нетрудно видеть, что при y0=riQ-d0, Ло=^о + 1 полученный критерий проверки статистической однородности совпадает с критерием проверки равенства параметров двух биномиальных распределений. В табл. 14.5 приведены критерии проверки статистической од-
|
||||||||||||||||
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
нородности априорных и экспериментальных данных для ряда других распределений, выведенные на основе предложенного подхода и совпадающие с известными в математической статистике критериями однородности параметров распределений.